61. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
62. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
1987
63. A formalization of set theory without variables
پدیدآورنده : TARSKI,ALFRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SET THEORY , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
248
.
T37
64. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
65. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
66. A theory of sets
پدیدآورنده : / Anthony P. Morse
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Set theory,Logic, symbolic and mathematical
رده :
511
.
3
Mo-T
67. Abstract set theory
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Logic, symbolic and mathematical,Algebra, abstract
رده :
512
.
8
Fr-A
68. Alan Turing :
پدیدآورنده : edited by S. Barry Cooper and Jan van Leeuwen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
C65
2013
70. An Invitation to Abstract Mathematic
پدیدآورنده : / by B?شla Bajnok
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
71. An Outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
72. <An> outline of set theory
پدیدآورنده : James M. Henle
موضوع : Set theory,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
73. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
74. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
75. An introduction to modern mathematics
پدیدآورنده : Monjallon, Albert
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Abelian groups
رده :
QA
248
.
M513
76. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
77. An outline of set theory
پدیدآورنده : / James M.Henle
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Set theory,Logic,symbolic and mathematical
رده :
511
.
322
H514o
78. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
79. An outline of set theory
پدیدآورنده : Henle, James M
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
80. An outline of set theory
پدیدآورنده : James M. Henle,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Set theory,Logic, Symbolic and mathematical
رده :
QA
.
H43
248
1986
